Symbolic-numeric integration of univariate expressions based on sparse regression

نویسندگان

چکیده

The majority of computer algebra systems (CAS) support symbolic integration using a combination heuristic algebraic and rule-based (integration table) methods. In this paper, we present hybrid (symbolic-numeric) method to calculate the indefinite integrals univariate expressions. Our is broadly similar Risch-Norman algorithm. primary motivation for work add functionality modern CAS (the manipulation packages SciML, Scientific Machine Learning ecosystem Julia programming language), which designed numerical machine learning applications. part our based on candidate terms generation (ansatz methodology borrowed from Homotopy operators theory) combined with expression transformations provided by underlying CAS. numeric uses sparse regression, component Sparse Identification Nonlinear Dynamics (SINDy) technique, find coefficients terms. We show that system can solve large variety common problems only few dozen basic rules.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic-Numeric Integration of Rational Functions

We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using He...

متن کامل

Linear regression for numeric symbolic variables: an ordinary least squares approach based on Wasserstein Distance

In this paper we present a linear regression model for modal symbolic data. The observed variables are histogram variables according to the definition given in Bock and Diday [1] and the parameters of the model are estimated using the classic Least Squares method. An appropriate metric is introduced in order to measure the error between the observed and the predicted distributions. In particula...

متن کامل

CGO: G: Decoupling Symbolic from Numeric in Sparse Matrix Computations

Sympiler is a domain-speci c code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are guided by the input sparsity structure and the sparse algorithm itself. In many real-world simulations, the sparsity pattern changes little or not at all. Sy...

متن کامل

Plant/controller Design Integration for H2 Control Based on Symbolic-numeric Hybrid Optimization

This paper proposes a new plant/controller design integration framework that seeks the optimal pair of the plant and the controller achieving the best possible closed-loop performance in H2 control. The framework is further equipped with a symbolic-numeric hybrid optimization approach to effectively search the optimum. The first step of the suggested approach relies on an algebraic approach to ...

متن کامل

Revisiting numeric/symbolic indefinite integration of rational functions, and extensions

We know we can solve this problem: Given any rational function f(x) = p(x)/q(x), where p and q are univariate polynomials over the rationals, compute its indefinite integral, using if necessary, algebraic numbers. But in many circumstances an approximate result is more likely to be of use. Furthermore, it is plausible that it would be more useful to solve the problem to allow definite integrati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Communications in Computer Algebra

سال: 2022

ISSN: ['1932-2232', '1932-2240']

DOI: https://doi.org/10.1145/3572867.3572882